Inductive type - PDFSEARCH.IO - Document Search Engine

Inductive type
Results: 32

#	Item
11	Proximity Sensors Inductive ABS Housing Type DU, Fork-shaped • Fork-shaped ABS housing • Slot sizes: 3.5, 5, 6, 10 mm • Power supply: 8.2 VDC (NAMUR) Add to Reading List Source URL: www.advanced-a.com Language: English - Date: 2014-10-11 23:59:47
12	Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich, Germany Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-02-08 12:13:50 Recursion Theoretical computer science Computability theory Category theory Ordinal numbers F-coalgebra Fixed-point combinator Termination analysis Lambda calculus Mathematical logic Mathematics Computer programming
13	Defining (Co)datatypes in Isabelle/HOL Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München 27 August 2014 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Recursion Type theory Data types Self-reference Theoretical computer science Recursive data type Corecursion Standard ML Inductive data type Computer programming Software engineering Computing
14	CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo Mathieu Boespflug1 and Guillaume Burel2 1 McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:10:59 Type theory Dependently typed programming Lambda calculus Formal methods Recursion Calculus of constructions Calculus of inductive constructions Coq Dependent type Programming language theory Mathematics Algebra
15	3. Extrapolation and its LimitsWhy should the unobserved part of reality resemble the observed part? Unobserved emeralds could just as easily be blue, as green. This is a puzzle about type 1 or “inductive” Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2012-05-17 04:38:09 Boolean algebra Binary operations Mathematical logic Truth table Contraposition Modal logic Negation Material conditional Truth Logic Propositional calculus Philosophical logic
16	Tecate Group Film Capacitors METALLIZED POLYPROPYLENE RADIAL BOX, X2 TYPE, REDUCED SIZE TYPE MPXM METTALIZED POLYPROPYLENE (OPP), NON-INDUCTIVE, PLASTIC CASE, INTERFERENCE SUPPRESSORS CLASS X2 Add to Reading List Source URL: www.tecategroup.com Language: English - Date: 2014-12-04 17:27:43 Sailing at the 1996 Summer Olympics - Finn Sailing at the 1996 Summer Olympics - Europe
17	CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo Mathieu Boespflug1 and Guillaume Burel2 1 McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-23 07:37:37 Type theory Dependently typed programming Lambda calculus Formal methods Recursion Calculus of constructions Calculus of inductive constructions Coq Dependent type Programming language theory Mathematics Algebra
18	Towards Generic Inductive Constructions in Systems of Nets Stéphane Gimenez Institute of Computer Science University of Innsbruck, Austria Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Type theory Dependently typed programming Computability theory General topology Net Inductive data type Constructible universe Inductive reasoning Linear logic Logic Mathematical logic Mathematics
19	sadhana manuscript No. (will be inserted by the editor) A compact kernel for the calculus of inductive constructions A. Asperti · W. Ricciotti · Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-02-26 11:27:55 Software engineering Matita Lambda calculus Calculus of constructions Unification Type system Typed lambda calculus Recursion Proof assistant Type theory Mathematics Theoretical computer science

UPDATE